/*
 * Halt.cpp
 *
 *  Created on: 17.04.2012
 *      Author: Eugene Kornykhin
 */

#include "Halt.h"

Halt::Halt() {


}

Halt::~Halt() {

}

string Halt::toString() const {
	return "[HALT]";
}

PolizPosition Halt::next_position_after(PolizPosition p) const
{
	return p;
}

void Halt::execute(Interpreter &)
{

}

bool Halt::isHalt() const
{
	return true;
}

Halt *Halt::clone(const Poliz &) const
{
	return new Halt();
}
